f0a355d4a63c94352ec231d642f5cdf836986eb3,src/test/uniol/apt/analysis/coverability/CoverabilityGraphTest.java,CoverabilityGraphTest,testEmptyNet,#,163
Before Change
@Test
public void testEmptyNet() {
PetriNet pn = getEmptyNet();
Marking initialMark = new Marking(pn.getInitialMarking());
CoverabilityGraph cov = CoverabilityGraph.get(pn);
After Change
@Test
public void testEmptyNet() {
PetriNet pn = getEmptyNet();
Marking initialMark = pn.getInitialMarking();
CoverabilityGraph cov = CoverabilityGraph.get(pn);